real time kernel - Deutsch Englisch Wörterbuch